Limits of order types
Identifieur interne : 000487 ( Main/Exploration ); précédent : 000486; suivant : 000488Limits of order types
Auteurs : Xavier Goaoc [France] ; Alfredo Hubard [France] ; Rémi De Joannis De Verclos [France] ; Jean-Sébastien Sereni [France] ; Jan Volec [Suisse]Source :
English descriptors
- mix :
Abstract
The notion of limits of dense graphs was invented, among other reasons, to attack problems in extremal graph theory. It is straightforward to define limits of order types in analogy with limits of graphs, and this paper examines how to adapt to this setting two approaches developed to study limits of dense graphs. We first consider flag algebras, which were used to open various questions on graphs to mechanical solving via semi-definite programming. We define flag algebras of order types, and use them to obtain, via the semidefinite method, new lower bounds on the density of 5-or 6-tuples in convex position in arbitrary point sets, as well as some inequalities expressing the difficulty of sampling order types uniformly. We next consider graphons, a representation of limits of dense graphs that enable their study by continuous probabilistic or analytic methods. We investigate how planar measures fare as a candidate analogue of graphons for limits of order types. We show that the map sending a measure to its associated limit is continuous and, if restricted to uniform measures on compact convex sets, a homeomorphism. We prove, however, that this map is not surjective. Finally, we examine a limit of order types similar to classical constructions in combinatorial geometry (Erdős-Szekeres, Horton. . .) and show that it cannot be represented by measures that are somewhere regular; we analyze this example via an analogue of Sylvester's problem on the probability that k random points are in convex position.
Url:
DOI: 10.4230/LIPIcs.SOCG.2015.300
Affiliations:
- France, Suisse
- Auvergne-Rhône-Alpes, Grand Est, Lorraine (région), Rhône-Alpes
- Grenoble, Metz, Nancy
- Université Joseph Fourier, Université de Grenoble, Université de Lorraine
Links toward previous steps (curation, corpus...)
- to stream Hal, to step Corpus: 002F07
- to stream Hal, to step Curation: 002F07
- to stream Hal, to step Checkpoint: 000468
- to stream Main, to step Merge: 000487
- to stream Main, to step Curation: 000487
Le document en format XML
<record><TEI><teiHeader><fileDesc><titleStmt><title xml:lang="en">Limits of order types</title>
<author><name sortKey="Goaoc, Xavier" sort="Goaoc, Xavier" uniqKey="Goaoc X" first="Xavier" last="Goaoc">Xavier Goaoc</name>
<affiliation wicri:level="1"><hal:affiliation type="laboratory" xml:id="struct-3210" status="VALID"><idno type="RNSR">200212717U</idno>
<orgName>Laboratoire d'Informatique Gaspard-Monge</orgName>
<orgName type="acronym">LIGM</orgName>
<desc><address><addrLine>Université de Paris-Est - Marne-la-Vallée, Cité Descartes, Bâtiment Copernic, 5 bd Descartes, 77454 Marne-la-Vallée Cedex 2, Inst Gaspard Monge</addrLine>
<country key="FR"></country>
</address>
<ref type="url">http://ligm.u-pem.fr</ref>
</desc>
<listRelation><relation active="#struct-301243" type="direct"></relation>
<relation active="#struct-301545" type="direct"></relation>
<relation active="#struct-302085" type="direct"></relation>
<relation active="#struct-304949" type="direct"></relation>
<relation name="UMR8049" active="#struct-441569" type="direct"></relation>
</listRelation>
<tutelles><tutelle active="#struct-301243" type="direct"><org type="institution" xml:id="struct-301243" status="VALID"><orgName>Université Paris-Est Marne-la-Vallée</orgName>
<orgName type="acronym">UPEM</orgName>
<desc><address><addrLine>5 boulevard Descartes - Champs-sur-Marne - 77454 Marne-la-Vallée Cedex2 </addrLine>
<country key="FR"></country>
</address>
<ref type="url">http://www.u-pem.fr/</ref>
</desc>
</org>
</tutelle>
<tutelle active="#struct-301545" type="direct"><org type="institution" xml:id="struct-301545" status="OLD"><orgName>École des Ponts ParisTech (ENPC)</orgName>
<desc><address><country key="FR"></country>
</address>
</desc>
</org>
</tutelle>
<tutelle active="#struct-302085" type="direct"><org type="institution" xml:id="struct-302085" status="VALID"><orgName>Fédération de Recherche Bézout</orgName>
<desc><address><country key="FR"></country>
</address>
</desc>
</org>
</tutelle>
<tutelle active="#struct-304949" type="direct"><org type="institution" xml:id="struct-304949" status="INCOMING"><orgName>ESIEE</orgName>
<desc><address><country key="FR"></country>
</address>
</desc>
</org>
</tutelle>
<tutelle name="UMR8049" active="#struct-441569" type="direct"><org type="institution" xml:id="struct-441569" status="VALID"><idno type="ISNI">0000000122597504</idno>
<idno type="IdRef">02636817X</idno>
<orgName>Centre National de la Recherche Scientifique</orgName>
<orgName type="acronym">CNRS</orgName>
<date type="start">1939-10-19</date>
<desc><address><country key="FR"></country>
</address>
<ref type="url">http://www.cnrs.fr/</ref>
</desc>
</org>
</tutelle>
</tutelles>
</hal:affiliation>
<country>France</country>
</affiliation>
</author>
<author><name sortKey="Hubard, Alfredo" sort="Hubard, Alfredo" uniqKey="Hubard A" first="Alfredo" last="Hubard">Alfredo Hubard</name>
<affiliation wicri:level="1"><hal:affiliation type="researchteam" xml:id="struct-56048" status="VALID"><idno type="RNSR">200318408A</idno>
<orgName>Geometric computing</orgName>
<orgName type="acronym">GEOMETRICA</orgName>
<desc><address><addrLine>2004 route des Lucioles BP 93 F-06902 Sophia Antipolis (France) / Bât Alan Turing, Campus de l'Ecole Polytechnique, 1 rue Honoré d'Estienne d'orves, 91120 Palaiseau (France)</addrLine>
<country key="FR"></country>
</address>
<ref type="url">http://www-sop.inria.fr/geometrica/</ref>
</desc>
<listRelation><relation active="#struct-34586" type="direct"></relation>
<relation active="#struct-300009" type="indirect"></relation>
<relation active="#struct-118511" type="direct"></relation>
</listRelation>
<tutelles><tutelle active="#struct-34586" type="direct"><org type="laboratory" xml:id="struct-34586" status="VALID"><idno type="RNSR">198318250R</idno>
<orgName>Inria Sophia Antipolis - Méditerranée </orgName>
<orgName type="acronym">CRISAM</orgName>
<desc><address><addrLine>2004 route des Lucioles BP 93 06902 Sophia Antipolis</addrLine>
<country key="FR"></country>
</address>
<ref type="url">http://www.inria.fr/centre/sophia/</ref>
</desc>
<listRelation><relation active="#struct-300009" type="direct"></relation>
</listRelation>
</org>
</tutelle>
<tutelle active="#struct-300009" type="indirect"><org type="institution" xml:id="struct-300009" status="VALID"><orgName>Institut National de Recherche en Informatique et en Automatique</orgName>
<orgName type="acronym">Inria</orgName>
<desc><address><addrLine>Domaine de VoluceauRocquencourt - BP 10578153 Le Chesnay Cedex</addrLine>
<country key="FR"></country>
</address>
<ref type="url">http://www.inria.fr/en/</ref>
</desc>
</org>
</tutelle>
<tutelle active="#struct-118511" type="direct"><org type="laboratory" xml:id="struct-118511" status="VALID"><idno type="RNSR">200818248E</idno>
<orgName>INRIA Saclay - Ile de France</orgName>
<desc><address><addrLine>1 rue Honoré d'Estienne d'OrvesBâtiment Alan TuringCampus de l'École Polytechnique91120 Palaiseau</addrLine>
<country key="FR"></country>
</address>
<ref type="url">http://www.inria.fr/centre/saclay</ref>
</desc>
<listRelation><relation active="#struct-300009" type="direct"></relation>
</listRelation>
</org>
</tutelle>
</tutelles>
</hal:affiliation>
<country>France</country>
</affiliation>
</author>
<author><name sortKey="De Joannis De Verclos, Remi" sort="De Joannis De Verclos, Remi" uniqKey="De Joannis De Verclos R" first="Rémi" last="De Joannis De Verclos">Rémi De Joannis De Verclos</name>
<affiliation wicri:level="1"><hal:affiliation type="researchteam" xml:id="struct-415849" status="VALID"><orgName>GCSP</orgName>
<orgName type="acronym">G-SCOP_GCSP</orgName>
<desc><address><addrLine>46 Avenue Félix Viallet 38031 GRENOBLE Cedex 1</addrLine>
<country key="FR"></country>
</address>
<ref type="url">http://www.g-scop.grenoble-inp.fr/gestion-et-conduite-des-systemes-de-production/?RH=GSCOP_FR-GCSP</ref>
</desc>
<listRelation><relation active="#struct-74240" type="direct"></relation>
<relation active="#struct-51016" type="indirect"></relation>
<relation active="#struct-300275" type="indirect"></relation>
<relation name="UMR5272" active="#struct-441569" type="indirect"></relation>
</listRelation>
<tutelles><tutelle active="#struct-74240" type="direct"><org type="laboratory" xml:id="struct-74240" status="VALID"><idno type="IdRef">120293080</idno>
<idno type="RNSR">200919221H</idno>
<orgName>Laboratoire des sciences pour la conception, l'optimisation et la production</orgName>
<orgName type="acronym">G-SCOP</orgName>
<desc><address><addrLine>GSCOPLaboratoire des Sciences pour la Conception, l'Optimisation et la Production de GrenobleUMR 527246, avenue Félix Viallet - 38031 Grenoble Cedex 1 - France</addrLine>
<country key="FR"></country>
</address>
<ref type="url">http://www.g-scop.grenoble-inp.fr/</ref>
</desc>
<listRelation><relation active="#struct-51016" type="direct"></relation>
<relation active="#struct-300275" type="direct"></relation>
<relation name="UMR5272" active="#struct-441569" type="direct"></relation>
</listRelation>
</org>
</tutelle>
<tutelle active="#struct-51016" type="indirect"><org type="institution" xml:id="struct-51016" status="OLD"><orgName>Université Joseph Fourier</orgName>
<orgName type="acronym">UJF</orgName>
<date type="end">2015-12-31</date>
<desc><address><addrLine>BP 53 - 38041 Grenoble Cedex 9</addrLine>
<country key="FR"></country>
</address>
<ref type="url">http://www.ujf-grenoble.fr/</ref>
</desc>
</org>
</tutelle>
<tutelle active="#struct-300275" type="indirect"><org type="institution" xml:id="struct-300275" status="VALID"><orgName>Institut National Polytechnique de Grenoble (INPG)</orgName>
<desc><address><country key="FR"></country>
</address>
</desc>
</org>
</tutelle>
<tutelle name="UMR5272" active="#struct-441569" type="indirect"><org type="institution" xml:id="struct-441569" status="VALID"><idno type="ISNI">0000000122597504</idno>
<idno type="IdRef">02636817X</idno>
<orgName>Centre National de la Recherche Scientifique</orgName>
<orgName type="acronym">CNRS</orgName>
<date type="start">1939-10-19</date>
<desc><address><country key="FR"></country>
</address>
<ref type="url">http://www.cnrs.fr/</ref>
</desc>
</org>
</tutelle>
</tutelles>
</hal:affiliation>
<country>France</country>
<placeName><settlement type="city">Grenoble</settlement>
<region type="region" nuts="2">Auvergne-Rhône-Alpes</region>
<region type="old region" nuts="2">Rhône-Alpes</region>
</placeName>
<orgName type="university">Université Joseph Fourier</orgName>
<orgName type="institution" wicri:auto="newGroup">Université de Grenoble</orgName>
</affiliation>
</author>
<author><name sortKey="Sereni, Jean Sebastien" sort="Sereni, Jean Sebastien" uniqKey="Sereni J" first="Jean-Sébastien" last="Sereni">Jean-Sébastien Sereni</name>
<affiliation wicri:level="1"><hal:affiliation type="researchteam" xml:id="struct-205125" status="VALID"><idno type="RNSR">200818291B</idno>
<orgName>Knowledge representation, reasonning</orgName>
<orgName type="acronym">ORPAILLEUR</orgName>
<desc><address><country key="FR"></country>
</address>
<ref type="url">http://www.inria.fr/equipes/orpailleur</ref>
</desc>
<listRelation><relation active="#struct-129671" type="direct"></relation>
<relation active="#struct-300009" type="indirect"></relation>
<relation active="#struct-423086" type="direct"></relation>
<relation active="#struct-206040" type="indirect"></relation>
<relation active="#struct-413289" type="indirect"></relation>
<relation name="UMR7503" active="#struct-441569" type="indirect"></relation>
</listRelation>
<tutelles><tutelle active="#struct-129671" type="direct"><org type="laboratory" xml:id="struct-129671" status="VALID"><idno type="RNSR">198618246Y</idno>
<orgName>INRIA Nancy - Grand Est</orgName>
<desc><address><addrLine>615 rue du Jardin Botanique 54600 Villers-lès-Nancy</addrLine>
<country key="FR"></country>
</address>
<ref type="url">http://www.inria.fr/nancy</ref>
</desc>
<listRelation><relation active="#struct-300009" type="direct"></relation>
</listRelation>
</org>
</tutelle>
<tutelle active="#struct-300009" type="indirect"><org type="institution" xml:id="struct-300009" status="VALID"><orgName>Institut National de Recherche en Informatique et en Automatique</orgName>
<orgName type="acronym">Inria</orgName>
<desc><address><addrLine>Domaine de VoluceauRocquencourt - BP 10578153 Le Chesnay Cedex</addrLine>
<country key="FR"></country>
</address>
<ref type="url">http://www.inria.fr/en/</ref>
</desc>
</org>
</tutelle>
<tutelle active="#struct-423086" type="direct"><org type="department" xml:id="struct-423086" status="VALID"><orgName>Department of Natural Language Processing & Knowledge Discovery</orgName>
<orgName type="acronym">LORIA - NLPKD</orgName>
<desc><address><country key="FR"></country>
</address>
<ref type="url">http://www.loria.fr/la-recherche-en/departements/Knowledge-and-Language-Management</ref>
</desc>
<listRelation><relation active="#struct-206040" type="direct"></relation>
<relation active="#struct-300009" type="indirect"></relation>
<relation active="#struct-413289" type="indirect"></relation>
<relation name="UMR7503" active="#struct-441569" type="indirect"></relation>
</listRelation>
</org>
</tutelle>
<tutelle active="#struct-206040" type="indirect"><org type="laboratory" xml:id="struct-206040" status="VALID"><idno type="IdRef">067077927</idno>
<idno type="RNSR">198912571S</idno>
<idno type="IdUnivLorraine">[UL]RSI--</idno>
<orgName>Laboratoire Lorrain de Recherche en Informatique et ses Applications</orgName>
<orgName type="acronym">LORIA</orgName>
<date type="start">2012-01-01</date>
<desc><address><addrLine>Campus Scientifique BP 239 54506 Vandoeuvre-lès-Nancy Cedex</addrLine>
<country key="FR"></country>
</address>
<ref type="url">http://www.loria.fr</ref>
</desc>
<listRelation><relation active="#struct-300009" type="direct"></relation>
<relation active="#struct-413289" type="direct"></relation>
<relation name="UMR7503" active="#struct-441569" type="direct"></relation>
</listRelation>
</org>
</tutelle>
<tutelle active="#struct-413289" type="indirect"><org type="institution" xml:id="struct-413289" status="VALID"><idno type="IdRef">157040569</idno>
<idno type="IdUnivLorraine">[UL]100--</idno>
<orgName>Université de Lorraine</orgName>
<orgName type="acronym">UL</orgName>
<date type="start">2012-01-01</date>
<desc><address><addrLine>34 cours Léopold - CS 25233 - 54052 Nancy cedex</addrLine>
<country key="FR"></country>
</address>
<ref type="url">http://www.univ-lorraine.fr/</ref>
</desc>
</org>
</tutelle>
<tutelle name="UMR7503" active="#struct-441569" type="indirect"><org type="institution" xml:id="struct-441569" status="VALID"><idno type="ISNI">0000000122597504</idno>
<idno type="IdRef">02636817X</idno>
<orgName>Centre National de la Recherche Scientifique</orgName>
<orgName type="acronym">CNRS</orgName>
<date type="start">1939-10-19</date>
<desc><address><country key="FR"></country>
</address>
<ref type="url">http://www.cnrs.fr/</ref>
</desc>
</org>
</tutelle>
</tutelles>
</hal:affiliation>
<country>France</country>
<placeName><settlement type="city">Nancy</settlement>
<settlement type="city">Metz</settlement>
<region type="region" nuts="2">Grand Est</region>
<region type="old region" nuts="2">Lorraine (région)</region>
</placeName>
<orgName type="university">Université de Lorraine</orgName>
</affiliation>
</author>
<author><name sortKey="Volec, Jan" sort="Volec, Jan" uniqKey="Volec J" first="Jan" last="Volec">Jan Volec</name>
<affiliation wicri:level="1"><hal:affiliation type="institution" xml:id="struct-156581" status="INCOMING"><orgName>ETH Zurich</orgName>
<desc><address><addrLine>Zurich</addrLine>
<country key="CH"></country>
</address>
<ref type="url">https://www.ethz.ch/en.html</ref>
</desc>
</hal:affiliation>
<country>Suisse</country>
</affiliation>
</author>
</titleStmt>
<publicationStmt><idno type="wicri:source">HAL</idno>
<idno type="RBID">Hal:hal-01172466</idno>
<idno type="halId">hal-01172466</idno>
<idno type="halUri">https://hal.inria.fr/hal-01172466</idno>
<idno type="url">https://hal.inria.fr/hal-01172466</idno>
<idno type="doi">10.4230/LIPIcs.SOCG.2015.300</idno>
<date when="2015-06-22">2015-06-22</date>
<idno type="wicri:Area/Hal/Corpus">002F07</idno>
<idno type="wicri:Area/Hal/Curation">002F07</idno>
<idno type="wicri:Area/Hal/Checkpoint">000468</idno>
<idno type="wicri:explorRef" wicri:stream="Hal" wicri:step="Checkpoint">000468</idno>
<idno type="wicri:Area/Main/Merge">000487</idno>
<idno type="wicri:Area/Main/Curation">000487</idno>
<idno type="wicri:Area/Main/Exploration">000487</idno>
</publicationStmt>
<sourceDesc><biblStruct><analytic><title xml:lang="en">Limits of order types</title>
<author><name sortKey="Goaoc, Xavier" sort="Goaoc, Xavier" uniqKey="Goaoc X" first="Xavier" last="Goaoc">Xavier Goaoc</name>
<affiliation wicri:level="1"><hal:affiliation type="laboratory" xml:id="struct-3210" status="VALID"><idno type="RNSR">200212717U</idno>
<orgName>Laboratoire d'Informatique Gaspard-Monge</orgName>
<orgName type="acronym">LIGM</orgName>
<desc><address><addrLine>Université de Paris-Est - Marne-la-Vallée, Cité Descartes, Bâtiment Copernic, 5 bd Descartes, 77454 Marne-la-Vallée Cedex 2, Inst Gaspard Monge</addrLine>
<country key="FR"></country>
</address>
<ref type="url">http://ligm.u-pem.fr</ref>
</desc>
<listRelation><relation active="#struct-301243" type="direct"></relation>
<relation active="#struct-301545" type="direct"></relation>
<relation active="#struct-302085" type="direct"></relation>
<relation active="#struct-304949" type="direct"></relation>
<relation name="UMR8049" active="#struct-441569" type="direct"></relation>
</listRelation>
<tutelles><tutelle active="#struct-301243" type="direct"><org type="institution" xml:id="struct-301243" status="VALID"><orgName>Université Paris-Est Marne-la-Vallée</orgName>
<orgName type="acronym">UPEM</orgName>
<desc><address><addrLine>5 boulevard Descartes - Champs-sur-Marne - 77454 Marne-la-Vallée Cedex2 </addrLine>
<country key="FR"></country>
</address>
<ref type="url">http://www.u-pem.fr/</ref>
</desc>
</org>
</tutelle>
<tutelle active="#struct-301545" type="direct"><org type="institution" xml:id="struct-301545" status="OLD"><orgName>École des Ponts ParisTech (ENPC)</orgName>
<desc><address><country key="FR"></country>
</address>
</desc>
</org>
</tutelle>
<tutelle active="#struct-302085" type="direct"><org type="institution" xml:id="struct-302085" status="VALID"><orgName>Fédération de Recherche Bézout</orgName>
<desc><address><country key="FR"></country>
</address>
</desc>
</org>
</tutelle>
<tutelle active="#struct-304949" type="direct"><org type="institution" xml:id="struct-304949" status="INCOMING"><orgName>ESIEE</orgName>
<desc><address><country key="FR"></country>
</address>
</desc>
</org>
</tutelle>
<tutelle name="UMR8049" active="#struct-441569" type="direct"><org type="institution" xml:id="struct-441569" status="VALID"><idno type="ISNI">0000000122597504</idno>
<idno type="IdRef">02636817X</idno>
<orgName>Centre National de la Recherche Scientifique</orgName>
<orgName type="acronym">CNRS</orgName>
<date type="start">1939-10-19</date>
<desc><address><country key="FR"></country>
</address>
<ref type="url">http://www.cnrs.fr/</ref>
</desc>
</org>
</tutelle>
</tutelles>
</hal:affiliation>
<country>France</country>
</affiliation>
</author>
<author><name sortKey="Hubard, Alfredo" sort="Hubard, Alfredo" uniqKey="Hubard A" first="Alfredo" last="Hubard">Alfredo Hubard</name>
<affiliation wicri:level="1"><hal:affiliation type="researchteam" xml:id="struct-56048" status="VALID"><idno type="RNSR">200318408A</idno>
<orgName>Geometric computing</orgName>
<orgName type="acronym">GEOMETRICA</orgName>
<desc><address><addrLine>2004 route des Lucioles BP 93 F-06902 Sophia Antipolis (France) / Bât Alan Turing, Campus de l'Ecole Polytechnique, 1 rue Honoré d'Estienne d'orves, 91120 Palaiseau (France)</addrLine>
<country key="FR"></country>
</address>
<ref type="url">http://www-sop.inria.fr/geometrica/</ref>
</desc>
<listRelation><relation active="#struct-34586" type="direct"></relation>
<relation active="#struct-300009" type="indirect"></relation>
<relation active="#struct-118511" type="direct"></relation>
</listRelation>
<tutelles><tutelle active="#struct-34586" type="direct"><org type="laboratory" xml:id="struct-34586" status="VALID"><idno type="RNSR">198318250R</idno>
<orgName>Inria Sophia Antipolis - Méditerranée </orgName>
<orgName type="acronym">CRISAM</orgName>
<desc><address><addrLine>2004 route des Lucioles BP 93 06902 Sophia Antipolis</addrLine>
<country key="FR"></country>
</address>
<ref type="url">http://www.inria.fr/centre/sophia/</ref>
</desc>
<listRelation><relation active="#struct-300009" type="direct"></relation>
</listRelation>
</org>
</tutelle>
<tutelle active="#struct-300009" type="indirect"><org type="institution" xml:id="struct-300009" status="VALID"><orgName>Institut National de Recherche en Informatique et en Automatique</orgName>
<orgName type="acronym">Inria</orgName>
<desc><address><addrLine>Domaine de VoluceauRocquencourt - BP 10578153 Le Chesnay Cedex</addrLine>
<country key="FR"></country>
</address>
<ref type="url">http://www.inria.fr/en/</ref>
</desc>
</org>
</tutelle>
<tutelle active="#struct-118511" type="direct"><org type="laboratory" xml:id="struct-118511" status="VALID"><idno type="RNSR">200818248E</idno>
<orgName>INRIA Saclay - Ile de France</orgName>
<desc><address><addrLine>1 rue Honoré d'Estienne d'OrvesBâtiment Alan TuringCampus de l'École Polytechnique91120 Palaiseau</addrLine>
<country key="FR"></country>
</address>
<ref type="url">http://www.inria.fr/centre/saclay</ref>
</desc>
<listRelation><relation active="#struct-300009" type="direct"></relation>
</listRelation>
</org>
</tutelle>
</tutelles>
</hal:affiliation>
<country>France</country>
</affiliation>
</author>
<author><name sortKey="De Joannis De Verclos, Remi" sort="De Joannis De Verclos, Remi" uniqKey="De Joannis De Verclos R" first="Rémi" last="De Joannis De Verclos">Rémi De Joannis De Verclos</name>
<affiliation wicri:level="1"><hal:affiliation type="researchteam" xml:id="struct-415849" status="VALID"><orgName>GCSP</orgName>
<orgName type="acronym">G-SCOP_GCSP</orgName>
<desc><address><addrLine>46 Avenue Félix Viallet 38031 GRENOBLE Cedex 1</addrLine>
<country key="FR"></country>
</address>
<ref type="url">http://www.g-scop.grenoble-inp.fr/gestion-et-conduite-des-systemes-de-production/?RH=GSCOP_FR-GCSP</ref>
</desc>
<listRelation><relation active="#struct-74240" type="direct"></relation>
<relation active="#struct-51016" type="indirect"></relation>
<relation active="#struct-300275" type="indirect"></relation>
<relation name="UMR5272" active="#struct-441569" type="indirect"></relation>
</listRelation>
<tutelles><tutelle active="#struct-74240" type="direct"><org type="laboratory" xml:id="struct-74240" status="VALID"><idno type="IdRef">120293080</idno>
<idno type="RNSR">200919221H</idno>
<orgName>Laboratoire des sciences pour la conception, l'optimisation et la production</orgName>
<orgName type="acronym">G-SCOP</orgName>
<desc><address><addrLine>GSCOPLaboratoire des Sciences pour la Conception, l'Optimisation et la Production de GrenobleUMR 527246, avenue Félix Viallet - 38031 Grenoble Cedex 1 - France</addrLine>
<country key="FR"></country>
</address>
<ref type="url">http://www.g-scop.grenoble-inp.fr/</ref>
</desc>
<listRelation><relation active="#struct-51016" type="direct"></relation>
<relation active="#struct-300275" type="direct"></relation>
<relation name="UMR5272" active="#struct-441569" type="direct"></relation>
</listRelation>
</org>
</tutelle>
<tutelle active="#struct-51016" type="indirect"><org type="institution" xml:id="struct-51016" status="OLD"><orgName>Université Joseph Fourier</orgName>
<orgName type="acronym">UJF</orgName>
<date type="end">2015-12-31</date>
<desc><address><addrLine>BP 53 - 38041 Grenoble Cedex 9</addrLine>
<country key="FR"></country>
</address>
<ref type="url">http://www.ujf-grenoble.fr/</ref>
</desc>
</org>
</tutelle>
<tutelle active="#struct-300275" type="indirect"><org type="institution" xml:id="struct-300275" status="VALID"><orgName>Institut National Polytechnique de Grenoble (INPG)</orgName>
<desc><address><country key="FR"></country>
</address>
</desc>
</org>
</tutelle>
<tutelle name="UMR5272" active="#struct-441569" type="indirect"><org type="institution" xml:id="struct-441569" status="VALID"><idno type="ISNI">0000000122597504</idno>
<idno type="IdRef">02636817X</idno>
<orgName>Centre National de la Recherche Scientifique</orgName>
<orgName type="acronym">CNRS</orgName>
<date type="start">1939-10-19</date>
<desc><address><country key="FR"></country>
</address>
<ref type="url">http://www.cnrs.fr/</ref>
</desc>
</org>
</tutelle>
</tutelles>
</hal:affiliation>
<country>France</country>
<placeName><settlement type="city">Grenoble</settlement>
<region type="region" nuts="2">Auvergne-Rhône-Alpes</region>
<region type="old region" nuts="2">Rhône-Alpes</region>
</placeName>
<orgName type="university">Université Joseph Fourier</orgName>
<orgName type="institution" wicri:auto="newGroup">Université de Grenoble</orgName>
</affiliation>
</author>
<author><name sortKey="Sereni, Jean Sebastien" sort="Sereni, Jean Sebastien" uniqKey="Sereni J" first="Jean-Sébastien" last="Sereni">Jean-Sébastien Sereni</name>
<affiliation wicri:level="1"><hal:affiliation type="researchteam" xml:id="struct-205125" status="VALID"><idno type="RNSR">200818291B</idno>
<orgName>Knowledge representation, reasonning</orgName>
<orgName type="acronym">ORPAILLEUR</orgName>
<desc><address><country key="FR"></country>
</address>
<ref type="url">http://www.inria.fr/equipes/orpailleur</ref>
</desc>
<listRelation><relation active="#struct-129671" type="direct"></relation>
<relation active="#struct-300009" type="indirect"></relation>
<relation active="#struct-423086" type="direct"></relation>
<relation active="#struct-206040" type="indirect"></relation>
<relation active="#struct-413289" type="indirect"></relation>
<relation name="UMR7503" active="#struct-441569" type="indirect"></relation>
</listRelation>
<tutelles><tutelle active="#struct-129671" type="direct"><org type="laboratory" xml:id="struct-129671" status="VALID"><idno type="RNSR">198618246Y</idno>
<orgName>INRIA Nancy - Grand Est</orgName>
<desc><address><addrLine>615 rue du Jardin Botanique 54600 Villers-lès-Nancy</addrLine>
<country key="FR"></country>
</address>
<ref type="url">http://www.inria.fr/nancy</ref>
</desc>
<listRelation><relation active="#struct-300009" type="direct"></relation>
</listRelation>
</org>
</tutelle>
<tutelle active="#struct-300009" type="indirect"><org type="institution" xml:id="struct-300009" status="VALID"><orgName>Institut National de Recherche en Informatique et en Automatique</orgName>
<orgName type="acronym">Inria</orgName>
<desc><address><addrLine>Domaine de VoluceauRocquencourt - BP 10578153 Le Chesnay Cedex</addrLine>
<country key="FR"></country>
</address>
<ref type="url">http://www.inria.fr/en/</ref>
</desc>
</org>
</tutelle>
<tutelle active="#struct-423086" type="direct"><org type="department" xml:id="struct-423086" status="VALID"><orgName>Department of Natural Language Processing & Knowledge Discovery</orgName>
<orgName type="acronym">LORIA - NLPKD</orgName>
<desc><address><country key="FR"></country>
</address>
<ref type="url">http://www.loria.fr/la-recherche-en/departements/Knowledge-and-Language-Management</ref>
</desc>
<listRelation><relation active="#struct-206040" type="direct"></relation>
<relation active="#struct-300009" type="indirect"></relation>
<relation active="#struct-413289" type="indirect"></relation>
<relation name="UMR7503" active="#struct-441569" type="indirect"></relation>
</listRelation>
</org>
</tutelle>
<tutelle active="#struct-206040" type="indirect"><org type="laboratory" xml:id="struct-206040" status="VALID"><idno type="IdRef">067077927</idno>
<idno type="RNSR">198912571S</idno>
<idno type="IdUnivLorraine">[UL]RSI--</idno>
<orgName>Laboratoire Lorrain de Recherche en Informatique et ses Applications</orgName>
<orgName type="acronym">LORIA</orgName>
<date type="start">2012-01-01</date>
<desc><address><addrLine>Campus Scientifique BP 239 54506 Vandoeuvre-lès-Nancy Cedex</addrLine>
<country key="FR"></country>
</address>
<ref type="url">http://www.loria.fr</ref>
</desc>
<listRelation><relation active="#struct-300009" type="direct"></relation>
<relation active="#struct-413289" type="direct"></relation>
<relation name="UMR7503" active="#struct-441569" type="direct"></relation>
</listRelation>
</org>
</tutelle>
<tutelle active="#struct-413289" type="indirect"><org type="institution" xml:id="struct-413289" status="VALID"><idno type="IdRef">157040569</idno>
<idno type="IdUnivLorraine">[UL]100--</idno>
<orgName>Université de Lorraine</orgName>
<orgName type="acronym">UL</orgName>
<date type="start">2012-01-01</date>
<desc><address><addrLine>34 cours Léopold - CS 25233 - 54052 Nancy cedex</addrLine>
<country key="FR"></country>
</address>
<ref type="url">http://www.univ-lorraine.fr/</ref>
</desc>
</org>
</tutelle>
<tutelle name="UMR7503" active="#struct-441569" type="indirect"><org type="institution" xml:id="struct-441569" status="VALID"><idno type="ISNI">0000000122597504</idno>
<idno type="IdRef">02636817X</idno>
<orgName>Centre National de la Recherche Scientifique</orgName>
<orgName type="acronym">CNRS</orgName>
<date type="start">1939-10-19</date>
<desc><address><country key="FR"></country>
</address>
<ref type="url">http://www.cnrs.fr/</ref>
</desc>
</org>
</tutelle>
</tutelles>
</hal:affiliation>
<country>France</country>
<placeName><settlement type="city">Nancy</settlement>
<settlement type="city">Metz</settlement>
<region type="region" nuts="2">Grand Est</region>
<region type="old region" nuts="2">Lorraine (région)</region>
</placeName>
<orgName type="university">Université de Lorraine</orgName>
</affiliation>
</author>
<author><name sortKey="Volec, Jan" sort="Volec, Jan" uniqKey="Volec J" first="Jan" last="Volec">Jan Volec</name>
<affiliation wicri:level="1"><hal:affiliation type="institution" xml:id="struct-156581" status="INCOMING"><orgName>ETH Zurich</orgName>
<desc><address><addrLine>Zurich</addrLine>
<country key="CH"></country>
</address>
<ref type="url">https://www.ethz.ch/en.html</ref>
</desc>
</hal:affiliation>
<country>Suisse</country>
</affiliation>
</author>
</analytic>
<idno type="DOI">10.4230/LIPIcs.SOCG.2015.300</idno>
</biblStruct>
</sourceDesc>
</fileDesc>
<profileDesc><textClass><keywords scheme="mix" xml:lang="en"><term>limits</term>
<term>measure theory</term>
<term>order types</term>
<term>sylvester problem</term>
</keywords>
</textClass>
</profileDesc>
</teiHeader>
<front><div type="abstract" xml:lang="en">The notion of limits of dense graphs was invented, among other reasons, to attack problems in extremal graph theory. It is straightforward to define limits of order types in analogy with limits of graphs, and this paper examines how to adapt to this setting two approaches developed to study limits of dense graphs. We first consider flag algebras, which were used to open various questions on graphs to mechanical solving via semi-definite programming. We define flag algebras of order types, and use them to obtain, via the semidefinite method, new lower bounds on the density of 5-or 6-tuples in convex position in arbitrary point sets, as well as some inequalities expressing the difficulty of sampling order types uniformly. We next consider graphons, a representation of limits of dense graphs that enable their study by continuous probabilistic or analytic methods. We investigate how planar measures fare as a candidate analogue of graphons for limits of order types. We show that the map sending a measure to its associated limit is continuous and, if restricted to uniform measures on compact convex sets, a homeomorphism. We prove, however, that this map is not surjective. Finally, we examine a limit of order types similar to classical constructions in combinatorial geometry (Erdős-Szekeres, Horton. . .) and show that it cannot be represented by measures that are somewhere regular; we analyze this example via an analogue of Sylvester's problem on the probability that k random points are in convex position.</div>
</front>
</TEI>
<affiliations><list><country><li>France</li>
<li>Suisse</li>
</country>
<region><li>Auvergne-Rhône-Alpes</li>
<li>Grand Est</li>
<li>Lorraine (région)</li>
<li>Rhône-Alpes</li>
</region>
<settlement><li>Grenoble</li>
<li>Metz</li>
<li>Nancy</li>
</settlement>
<orgName><li>Université Joseph Fourier</li>
<li>Université de Grenoble</li>
<li>Université de Lorraine</li>
</orgName>
</list>
<tree><country name="France"><noRegion><name sortKey="Goaoc, Xavier" sort="Goaoc, Xavier" uniqKey="Goaoc X" first="Xavier" last="Goaoc">Xavier Goaoc</name>
</noRegion>
<name sortKey="De Joannis De Verclos, Remi" sort="De Joannis De Verclos, Remi" uniqKey="De Joannis De Verclos R" first="Rémi" last="De Joannis De Verclos">Rémi De Joannis De Verclos</name>
<name sortKey="Hubard, Alfredo" sort="Hubard, Alfredo" uniqKey="Hubard A" first="Alfredo" last="Hubard">Alfredo Hubard</name>
<name sortKey="Sereni, Jean Sebastien" sort="Sereni, Jean Sebastien" uniqKey="Sereni J" first="Jean-Sébastien" last="Sereni">Jean-Sébastien Sereni</name>
</country>
<country name="Suisse"><noRegion><name sortKey="Volec, Jan" sort="Volec, Jan" uniqKey="Volec J" first="Jan" last="Volec">Jan Volec</name>
</noRegion>
</country>
</tree>
</affiliations>
</record>
Pour manipuler ce document sous Unix (Dilib)
EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/Main/Exploration
HfdSelect -h $EXPLOR_STEP/biblio.hfd -nk 000487 | SxmlIndent | more
Ou
HfdSelect -h $EXPLOR_AREA/Data/Main/Exploration/biblio.hfd -nk 000487 | SxmlIndent | more
Pour mettre un lien sur cette page dans le réseau Wicri
{{Explor lien |wiki= Wicri/Lorraine |area= InforLorV4 |flux= Main |étape= Exploration |type= RBID |clé= Hal:hal-01172466 |texte= Limits of order types }}
This area was generated with Dilib version V0.6.33. |